# -*- mode: snippet -*-
# name: Set Typeclasses Modulo Eta
# --
Set Typeclasses Modulo Eta
